-
1 propositional inference
-
2 propositional inference
The English-Russian dictionary general scientific > propositional inference
-
3 propositional inference
Большой англо-русский и русско-английский словарь > propositional inference
-
4 propositional inference
<math.> пропозиционный вывод -
5 propositional inference
Математика: пропозициональный вывод, пропозиционный выводУниверсальный англо-русский словарь > propositional inference
-
6 propositional inference
English-Russian dictionary of computer science and programming > propositional inference
-
7 propositional inference
матем.English-Russian scientific dictionary > propositional inference
-
8 propositional inference
English-Russian information technology > propositional inference
-
9 propositional inference
Англо-русский словарь по исследованиям и ноу-хау > propositional inference
-
10 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
-
11 inference
(логический) вывод; суждение; умозаключение -
12 propositional
-
13 inference
(логический) вывод, умозаключение; следствие- chain inference
- deductive inference
- formal inference
- grammatical inference
- immediate inference
- inductive inference
- mediate inference
- propositional inference
- simultaneous inference
- statistical inferenceEnglish-Russian dictionary of computer science and programming > inference
-
14 inference
1) <math.> умозаключение
2) вывод
3) суждение
– chain inference
– formal inference
– immediate inference
– inductive inference
– mediate inference
– propositional inference -
15 propositional
-
16 deductive inference
inference machinery — схемы вывода; механизмы вывода
-
17 inductive inference
inference machinery — схемы вывода; механизмы вывода
-
18 analogical inference
inference machinery — схемы вывода; механизмы вывода
English-Russian big medical dictionary > analogical inference
-
19 rules of inference
inference machinery — схемы вывода; механизмы вывода
The English-Russian dictionary general scientific > rules of inference
-
20 пропозициональный вывод
Большой англо-русский и русско-английский словарь > пропозициональный вывод
- 1
- 2
См. также в других словарях:
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Propositional representation — Articleissues unreferenced = March 2008 technical = March 2008 introrewrite = March 2008Propositional representation is symbolic description.Other AttributesPropositional representations are also:*Language like only in the sense that they… … Wikipedia
Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… … Wikipedia
Frege's propositional calculus — In mathematical logic Frege s propositional calculus was the first axiomatization of propositional calculus. It was invented by Gottlob Frege, who also invented predicate calculus, in 1879 as part of his second order predicate calculus (although… … Wikipedia
Implicational propositional calculus — In mathematical logic, the implicational propositional calculus is a version of classical (two valued) propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by… … Wikipedia
Quantum logic — In mathematical physics and quantum mechanics, quantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account. This research area and its name originated in the 1936 paper by Garrett… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
